#include <stdio.h>

int main(int argc, char const *argv[])
{

	int input,s=0,min,max,i=0;
	if(scanf("%d",&input))
	{
		s=min=max=input;
		i=1;
	}
	while(scanf("%d",&input)==1)
	{
		i+=1;
		s+=input;
		min=min>input?input:min;
		max=max<input?input:max;
	}
	printf("max:%d,min:%d,avg:%f\n",max,min,(float)s/i);
	return 0;
}